41. Intensional mathematics /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Constructive mathematics,Intuitionistic mathematics,Modality (Logic)

رده :
QA9
.
46
.
I57
1985

42. Intentional mathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics

رده :
QA
9
.
46
.
I57
1985

43. Interpolation and definability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(

رده :
QA
281
.
G28I5

44. Introduction to deontic logic and the theory of normative systems /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Deontic logic,Modality (Logic),Logique déontique,Logique symbolique et mathématique

رده :
BC145
.
A67
1987

45. Introductory modal logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Modality )Logic(

رده :
BC
199
.
M6
K66
1986

46. Investigations in modal and tense logics with applications to problems in philosophy and linguistics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general

رده :
BC
199
.
M6
.
G3

47. Investigations in modal and tense logics with applications to problems in philosophy and linguistics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general

رده :
BC
199
.
M6G22

48. Kant's modal metaphysics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Kant, Immanuel, 4271-4081,، Modality )Logic(,، Metaphysics

رده :
B
2799
.
M5S72

49. Laws, modalities, and counterfactuals

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Counterfactuals )Logic(,، Modality )Logic(,، Law -- Philosophy

رده :
BC
199
.
C66R44

50. Logic for concurrency and synchronisation

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science)

رده :
QA9
.
54
.
L64
2003

51. Logic for concurrency and synchronisation]CD[

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(

رده :
CD
1743-35

52. Logic for concurrency and synchronisation

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local

رده :
E-BOOK

53. Logics of time and computation

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Modality )Logic(

رده :
P
25
.
C28
No
.
7

54. #Many-dimensional modal logics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع : Modality )Logic(

رده :
#
BC
،#.
M6
,
M34

55. Mathematics of modality

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Modality (Logic) ;

56. Mathematics of modality

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Modality (Logic)

رده :
QA9
.
46
.
G66
1993

57. Mathematics of modality

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Modality (Logic)

رده :
QA9
.
46
.
G66
1993

58. Mathematics of modality

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Modality (Logic)

رده :
E-BOOK

59. Mere possibilities :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Metaphysics,Modality (Logic),Possibility

رده :
BC199
.
P7
S73
2012

60. Mere possibilities : metaphysical foundations of modal semantics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Possibility,، Modality )Logic(,، Metaphysics

رده :
BC
199
.
P7S72